formal approximation

un. 形式逼进
[网络] 形式逼近;形式近似;形式近似解